perm filename BOOK2B.TEX[AM,DBL] blob
sn#543016 filedate 1980-11-19 generic text, type T, neo UTF8
\input basic
\input cmpdes
\input temacs
\def\init#1{}
\def\worldend{\vfill\eject\topofpage}
\def\checkpnum{\ifeven0{\null
\vfill
PRINTER: REPLACE THIS PAGE BY A 100\%\ BLANK PAGE!!
\vfill
\eject\topofpage}\else{}}
\def\draft{T}
\titlepage
\newpage
\setcount0 409 % This number is supposed to be the least odd integer
% greater than the last page number in DBL's half.
\parttitle{TEIRESIAS: APPLICATIONS OF META-LEVEL KNOWLEDGE}
\input krd7
\checkpnum
\input krd8
\checkpnum
\input krda1
\vfill\eject\end